Automata, Languages and Programming (vol. # 4052)
a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which frsttookplacein ...
Continue reading
Automata, Languages and Programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
Continue reading
Automata, Languages and Programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
Continue reading
Automated Deduction – CADE-20
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...
Continue reading
B 2007: Formal Specification and Development in B
These proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city ...
Continue reading
Balancing Agility and Formalism in Software Engineering : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference ...
Continue reading
Beginning C# 2008
This book is for anyone who wants to write good C# 2008 code—even if you have never programmed before. Beginning C# 2008 ...
Continue reading
Beginning C# 2008 : From Novice to Professional
This book is for anyone who wants to write good C# code—even if you have never programmed before. Writing good code can ...
Continue reading
Beginning Java Data Structures and Algorithms: Sharpen your problem solving skills by learning core computer science concepts in a pain-free manner / James Cutajar
Teaches you tools that you can use to build efficient applications. It starts with an introduction to algorithms and big ...
Continue reading
Beginning VB 2008 : From Novice to Professional
This book is for anyone who wants to write good Visual Basic 2008 code, even if you have never programmed before. Writing ...
Continue reading
Bioinformatics : Problem Solving Paradigms
This book highlights basic paradigms of problem analysis and algorithm design in the context of core bioinformatics problems. ...
Continue reading
Botnet Detection : Countering the Largest Security Threat
Botnet Detection: Countering the Largest Security Threat, a contributed volume by world-class leaders in this field, is based ...
Continue reading
Boundary Representation Modelling Techniques
Boundary representation is the principle solid modelling method used in modern CAD/CAM systems. There have been a long series ...
Continue reading
Combinatorial Pattern Matching (vol. # 4009)
The book presents 33 revised full papers together with 3 invited talks, organized in topical sections on data structures, ...
Continue reading
Comparative Genomics
This book provides an evolutionary conceptual framework for comparative genomics, with the ultimate objective of understanding ...
Continue reading
Comparative Genomics
This book provides an evolutionary conceptual framework for comparative genomics, with the ultimate objective of understanding ...
Continue reading
Complexity of Constraints : An Overview of Current Research Themes
This state-of-the-art survey contains the papers that were invited by the organizers after conclusion of an International ...
Continue reading
Computational Geometry : Algorithms and Applications
This introduction to computational geometry focuses on algorithms. Modern insights in computational geometry are used to ...
Continue reading
Computational Geometry and Graph Theory : International Conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007. Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the Kyoto Conference on Computational Geometry ...
Continue reading
Computer Science - Theory and Applications : Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings
This book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, ...
Continue reading
